Path orders of global dimension two
نویسندگان
چکیده
منابع مشابه
Interval orders and dimension
We show that for every interval order X , there exists an integer t so that if Y is any interval order with dimension at least t, then Y contains a subposet isomorphic to X .
متن کاملPolynomial Path Orders
This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP, that is applicable in two related, but distinct contexts. On the one hand POP induces polynomial innermost runtime complexity and hence may serve as a syntactic, and full...
متن کاملIterative path orders
In Dershowitz’s original presentation recursive path orders (RPO) are defined by means of recursion. In Bergstra and Klop’s presentation RPOs are operationally defined by means of a set of term rewrite rules. To distinguish the two presentations, we will refer to the latter as iterative path orders (IPO). We show that IPOs as originally defined by Bergstra and Klop are strictly weaker than RPOs...
متن کاملIterative Lexicographic Path Orders
We relate Kamin and Lévy’s original presentation of lexicographic path orders (LPO), using an inductive definition, to a presentation, which we will refer to as iterative lexicographic path orders (ILPO), based on Bergstra and Klop’s definition of recursive path orders by way of an auxiliary term rewriting sytem. Dedicated to Joseph Goguen, in celebration of his 65th birthday.
متن کاملThe Dimension of Cycle-Free Orders
The existence of a four-dimensional cycle-free order is proved. This answers a question of Ma and Spinrad. Two similar problems are also discussed. Mathematics Subject Classification (1991). 06Axx.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1983
ISSN: 0021-8693
DOI: 10.1016/0021-8693(83)90021-2